Philosophy Dictionary of ArgumentsHome | |||
| |||
Semantic category (meaning category): a) e.g. the difference between the expression for an activity and the expression for the intention of this activity - b) e.g. the difference between propositions and predicates._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
Alfred Tarski on Semantic Categories - Dictionary of Arguments
Berka I 498 Def Semantic Category/meaning category/Husserl/Tarski: 1. two expressions belong to the same meaning category when its first propositional function is one that contains any of these phrases. 2. When no function that contains one of these expressions loses the character of a propositional function if this expression is substituted by the other - ( reflexive, transitive, symmetric). Example of Category propositional function: e.g. names of individuals - e.g. variables. >Propositional functions, >Variables, >Proper names, >Meaning categories. I 499 Def Main Principle of semantic categories/Tarski: in everyday language a single case seems to satisfy the propositional function which is preserved while replacing the expression. >Everyday language. Meaning category/Tarski: here not for compound expressions but only for variables - Decisive is the mere form. Wit of the Main Principle: we want that substitution always results in new statements, we can use as variables only expressions of the same semantic category. >Inserting, >Substitution, >Abstraction/Tarski. I 500 It follows that no character can be a functor of two functions at the same time that can have a different number of arguments or two such functions (even if they have the same number of arguments) in which two of their relevant arguments belong to different meaning categories. >Uniqueness, >Unambiguity, >Functors. I 520 Bound variables have no influence on the semantic type.(1) >Bound variables. 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol. 1, Lemberg 1935_____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |